ideal logic